Parallel and distributed derivations in the single-pushout approach
نویسندگان
چکیده
منابع مشابه
Total-Single-Pushout Derivations for Internal Graph Attribution
We present a simple, abstract approach that allows to integrate graph attribution into the graph structure itself. We use a declarative setting where the calculation of the attributions relies on single-pushout derivations in a category of total homomorphisms. We discuss applications to term graph typing, including multi-level typing and type classes, and visualisation of compilation.
متن کاملConcurrent derivations as single pushout graph grammar processes
Algebraic graph transformations visually support intuition, have a strong theoretical basis, and provide a formal, implementation independent basis for the description of discretely evolving computational systems and their formal and tractable analysis. Graph grammar models of concurrent systems (petri nets, actor systems) have inspired corresponding semantics developments. Recently this led to...
متن کاملAlgebraic Approach to Single-Pushout Graph Transformation
The single-pushout approach to graph transformation interprets a double-pushout transformation rule of the classical algebraic approach which consists of two rotul graph morphisms as a single particll morphism from the left-to the right-hand side. The notion of a double-pushout diagram for the transformation process can then be substituted by a single-pushout diagram in an appropriate category ...
متن کاملthe relationship between language and social capital in ilami kurdish: a sociopragmatic approach
چکیده زبان به عنوان یک وسیله در ایجاد و بازسازی سرمایه اجتماعی در چند دهه گذشته مورد توجه بوده است. اگر چه درباره سرمایه اجتماعی و سازه های مربوط به آن زیاد نوشته شده است ولی خیلی کم بر روی اینکه چطور زبان می تواند باعث ایجاد اعتماد یا بی اعتمادی بشود مطالعه ای انجام شده است. این مطالعه به منظور تحقق دو هدف انجام گرفته است. اول تلاش خواهد شد تا یک گونه شناسی از واژگانی که مردم کرد زبان شهر ا...
15 صفحه اولAlgebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach
The single-pushout approach to graph transformation is extended to the algebraic transformation of partial many-sorted unary algebras. The main result presented in this article is an algebraic characterization of the single-pushout transformation in the categories of all conformisms, all closed quomorphisms, and all closed-domain closed quomorphisms of unary partial algebras over a given signat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1993
ISSN: 0304-3975
DOI: 10.1016/0304-3975(93)90066-3